perm filename CAL[1,JMC]26 blob
sn#780089 filedate 1984-12-22 generic text, type C, neo UTF8
COMMENT ā VALID 00003 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 1984
C00018 00003
C00023 ENDMK
Cā;
1984
05-31 11am, Abadi oral
4:15 Kreisel
06-04 MOnday, Hoover reception, 5:30-7pm
noon, Comprehensive Committee, MJH 301
06-05 Tues., 2:30 Senior Faculty
06-06 Konolige thesis deadline
10am, SRI meeting on common sense summer
ai quals, 3pm - 6pm
06-07 Thurs., Livermore, by 11:30am
1:30 SRI, my lecture on blocks world
06-08 Fri., Peter Kaiser, Vienna TV, c/o Frank Kemp, USIA, 202 376-7804
Sunday, twa 60 9:15, 5:32, SFO to Boston
Saturday, UA 95, 9:55AM - 1PM
06-11 thru 15, W.G. 2.2, Endicott House, M.I.T., Jack Dennis 617 253-6856
Nonimperative Languages and implementation concepts
Modifying programs without reading them. Perhaps also CBCL.
m.i.t. between 4 and 6:30, Joyce Chen,
40 min. from Logan Airport, endicott , Haven Road, Dedham
201, 545 Tech Square, dennis%mit-xx
326-5151
10am, SRI, Common sense, Leslie Pack
06-18 Monday, 11am, Geo. Johnson, NYT Books, 714 536-3465
msg.msg[jnk,jmc]/248p
06-19 -21, CSLI Workshop on Practical Reasoning and Planning, Redwood G-19
Tues. lunch and banquet
Wed. lunch
Thu. lunch, reply by June 12 to Eve Wasmer or Nancy Steege 7-2547
06-21 4pm, Vladimir Lifschitz
Hotel reservations requested 24 thru 29
06-25 thru 29, Paris and Marseilles, tentative
Devaquer, prof. of chemistry, contact via Irving Brown's office
sec'y = Simone Facotti
06-27 to 29 Logic conference in France, didn't go
07-02 to 6 July, Logic Programming in Uppsala, panel invite from Sten-Ake
didn't go
07-05 Thursday, ballet
07-08 Monday, 1pm book meeting, 2:30 Rohit Parikh, knowledge
5:15 sec'y interview
9am, Jerry Hobbs, his paper
10am, Common sense in EK242. SRI
07-11 Wed 12:15 lunch with Fikes and Claudia Mazzetti, A la Carte
Fikes no. 853-5557
CSLI site visit lunch
07-12 Thursday, ballet
07-13 Interview, secretary, 2 p.m.
Sato arrives till December 15
07-18 wed, Campbell dinner, 6:30pm, recept., 7:00pm dinner
07-19 Thursday, Inference board (remember to ask about Schlumberger and TI SMP)
1 p.m.
Sunday at 7p, dinner at Hurds'
07-22 to 25, Ito will be here.
07-23 SFO-DC UA 58Y Lv 2:00 pm Ar 9:50 pm Reservation Arlington Hyatt
seat 21D
We'll see ohlander and squires at 12:30 at DARPA.
07-24 Tue, Meeting with Kahn, Smith, etc. in Washington
DC-NYC PanAm #64 Lv 7 pm Ar 8:10 pm Reservations NY Sheraton.
Car rental reserved
07-25 Yorktown Heights with RPG
07-26 NYC-SFO PanAm #5 Lv 10am Ar 12:50 pm
08-01 UA58,2pm seat 11A, arr. 9:50pm,1 Wash. Circle Hotel
08-02 and 03, Thursday, Fri, Working Group on Nuclear energy, Washington
9am se2 board, 10am se2 associates, 2pm wg
08-03 UA57, 5:30 - 8:05pm
Hyatt Austin, 512 477-1234
Delta 118V 950 to 250 Dallas, Delta 1054V 351 to 435
08-05 Sunday, to 8th, Lisp conference, Austin Jester Center, 21st and Speedway
Claudia: 512 471-7711, 476-6171
08-06 Mon to 10 fri, AAAI, Austin, technical program, 7-10
08-07 Tuesday, 6:15, Common Lisp on ambiguities
7:30am, Ney Room, Villa Capri, publication committee
3:35pm, Chair publisher's prize session, Concert Hall
08-08 7pm, dinner, AAAI exec, 8pm meeting, Concert Hall Green Room
08-09 11am, Presidential Address, Concert Hall
08-10 Delta 1074 and 347, 7:30pm - 10:10pm
08-11 Saturday noon, lunch with Hurd and others msg.msg[1,jmc]/174p
08-15 Wed. III Board
08-13 to 26th Sarah night 322-9771
08-17 Oxford people, msg.msg[1,jmc]/170p
08-19 Eastern 66,13:20 18:55.Return 8-20 E 69, 17:50 19:30.Hotel:Hilton Hobby.
08-20 Inference show for NASA Houston
08-21 2:00 Byron Davies appt.
08-22 Wed noon to 5pm 24, Concurrent planning workshop, georgeff%sri-ai
Reasoning about cooperating agents and concurrent processes
Monterey Dunes, cooper[e84,jmc], See current events file.
Didn't go.
08-26 and 27, Sarah at 851-8521, Kelly
08-27 Common sense lunch TIME: 12:00 noon
PLACE: Yuen Yung
08-28 Shigeki Goto arriving.
08-30 Thu. III Finance and planning
SF-LA United 1111 12:oo arrive LA 1:12
Hotel reservation: Howard Johnson 213 641 7740. Free limousine.
08-31 Fri. III Board
SJ-LA PSA 164 8:30 arrive LA 9:30.
LA-SJ PSA 361 2:30 arrive SJ 3:25. Pick up tickets at PSA counter.
09-04 Berkeley, Cognitive Science Seminar, 11am - 2pm, debate with Searle
240 Bechtel, Len Talmy, 644-1064, talmy@ucbkim
09-05 Wed. Inference business meeting
09-11 Lunch with Spencer
09-12 3pm Subramanian
09-12 2p, Lifschitz, terminal by then if possible
11am, call Chien with Jussi
real deadline for Non-monotonic paper to AAAI office
09-17 Monday, Inference board, 1pm
L.A. to Paris
09-18 Tues. and 19, DARPA meeting on Common Lisp, Monterey. will miss it.
09-22 Paris, Centre Mondial Scientific committee
09-25 Berkeley, Common Sense, c/o Len Talmy
msg.msg[1,jmc]/367p
09-26 reception for new students, sunset
09-27 Thurs. first class, ERL 320
09-28 Ohlander back
2pm Ashok maybe
280s, exit 7th st. 2L turns under 280, N on 7th deadends at San Carlos,
1/2 block before L into parking garage, take far R to employees
entrance, park anywhere, Duncan 135, Duncan is immediately to W
of Parking garage, must go around. 135 entered from S side.
If early Macquarrie, N. of garage, 2nd floor, math office.
10-01 Monday, 5:30pm, panel on
"Survival and Prosperity--how should computers help us?"
e84.in[let,jmc]/371p,e84.in[let,jmc]/373p
Tues. 5:30-7:00pm, cocktail party,Venrock Associates opening their
West Coast Office. Held at Hyatt Rickys', Palo Alto.
10-04 Thurs, 2:30, senior faculty
10-05 Denelcor, Denver
SJ to Denver United 288 8:23 arrive 11:40.
Denver to SJ United 425 5:43
10-08 Monday, 2p, PARC, Kurzweil demo, postponed
10-09 Tues. 3:15, First meeting, CSLI Thought, action and the common
sense world, Project F4, forgot it.
10-10 Wed., 11:30, lunch with Hurd and Nils at Chantilly
10-11 3:15 Academic Senate
10-12 10am, MAD Computer, 101S, Montague exp, St. after N 1st, Zanker,
2950 Zanker Rd., R on Zanker, 1st bldg on L, 408 943-1711
1pm Lifschitz
10-15 Monday, 10am, Anthony Trojanowski and Russell Rose,
(703) 883 4734 re: their project of reasoning from uncertain knowledge
10-16 TWA 44, 10pm-6:03, Kennedy
10-17 10-19, Wed.-Fri., Conference on Non-monotonic reasoning, Mohonk, NY.
Workshop will be held in Mohonk Mountain House. For travel
assistance contact Vicky Goff at 800-223-3855 or 215-568-6655.
They requested that your room be ready before normal check-in time
(4:00). In case it is not, your luggage will be held until it is.
Mailed room reservation form and $200.00 check on 9-5-84.
10-21 Piedmont 1741, Kennedy 9:50pm - 10:59pm
10-22 to 26, Mathematical Logic and Theoretical Computer Science
U. of Maryland, Logic and AI with Barwise, L. Henschen, Reiter, van Emden
The mathematics of circumscription. Abstract to PERLIS@MARYLAND.
10-24 Wed to 26, Marseilles colloquium on AI, see current
10-31 Wednesday, 4pm, Philosophy and AI, Friedman, 916 752-0607,$500
lunch, general scientific audience
10-01 Holiday Inn, 8:30, 9am, 2:30 language session, reception 6pm
2:30 Senior Faculty
11-01 Quintus dinner at Faculty Club, c/o Hurd.
11-02 Reception 6:30 and dinner 7:30 Stauffer Auditorium, Hoover.
11-05 or 6, Guide, Floyd Kelly, 214 457-7173, declined
11-06 Tues. 3:15, F4 meeting, Ventura
11-08 Thurs. 3:15 Academic Senate.
11-10 Dantzig banquet, Faculty Club $20, Gail Stein, O.R. 7-1305
7pm, symposium, all day Terman
11-11 Sunday, Sjodin party, 713 Alvarado Row, 3pm
11-12 Monday 3:15, Jeff Glaza about his thesis proposal
11-13 Tuesday, 2:30 Carolyn oral
11-14 Wed., law and computers, Some expert systems need common sense.
room 272, Law School, 4:15
lunch and after
11-14 CIS sponsors, Meindel 7-1013, same talk, 45 min, Louise Peterson 7-2931
11-15 Thursday, 10:30 meeting with Dr. Bill Hogan from Honeywell re joint
venture research
11-15 CSLI seminar
11am, kmp@mc, Mermaid 323-9481, rm 28
11-16 Friday 6pm, Goto and Sato dinner msg.msg[1,jmc]/334p
11-19 Monday, meeting with Bill Spencer and Mike Genesereth, 2:30.
9am, appointments and slots, chez Golub
11-20 Tuesday, 2:30 F4, Ventura
11-21 Wed. Mark IIb Design review, Livermore
11-26 Monday 10am, MAD Computer with RPG
CSLI Principals' meeting
11-27 tue 27 nov 20:00 Kovanshchina SFO
Synapse, 3-5,here
11-28 Wed., 1pm, Inference Board meeting
9am, x-rays and dental
11-29 Thurs, 3:15 Faculty Senate
11-30 Fri, to 12-02 Sun., Citizen's Advisory Council on National Space Policy
12-03 Monday, 2:15 pm, Malachi orals
12-04 Tuesday 10am, with Les, Carolyn, RPG, proposal
The next F4 meeting will be Tuesday, Dec. 4, at 3:15 in the Ventura
12-05 Wednesday, III board meeting, 10:00 am
12-06 11:30 Kuroyanagai, Goto, Sato
lunch noon Strategic Decisions Group, 3000 Sand Hill Rd. bldg 3
854-9000, with Nafeh and Ron Howard, suite 150
12-07 Friday,1:00 pm, meeting with John Nafeh, MAD Computer.
12-11 Tuesday noon, AAAS lunch with election postmortem by Lipset
12-12 Wed. 11am, visit Silma, Foothill L on Arboretum next to Supermarket
2nd floor.
12-13 thurs, 2:30 Senior Faculty
7-10pm, CS206 final
10am, Gordon Bell
12 lunch with Jim Adams about VTSS course
12-14 4pm, Fateman there, 519 Evans
10:30 Fateman
12-20
1:45pm, Muse 872C from San Jose, arr. Austin 7:30
12-21 Friday, MCC, also UT
reservations at the Brookhollow N. W., 8888 Tallwood, 343-0008,
Saturday AM, American 139Y, 9:24am-1009Dallas, 11:15 AA127, 12:58
lunch with Susie, Dan and little K
01-07 Monday, 2pm-5pm, Tom Gefell, make up incomplete
2pm, Sequent
F4, Mondays from 1:15 to 3:15 beginning on January 7.
01-08 Tuesday, Faculty meeting
F4
01-09 Wed, 2:45, Bartlett dentist
James O. Bartlett,DDS, periodonal evaluation
850 Mddlefield, 326-1400, just S. of Homer, parking in back
group 3365
1pm Berkeley, parallel symbolic computation
01-10 Thurs, Senate
01-11 10am, Friday Inference Advisory
01-12 and 13, sat and sun, 1985, ASL in Anaheim, one hour lecture
12th at 10:45, title: Non-monotonic reasoning, use transparencies
Kechris, Alexander, (home: 213 397-6975) (office: 818 356-4335)
01-24 Thurs, Senate
01-30 and 02-02 Wed thru Fri, Zemanek, Cliff Jones, 61 273-7121 ex 5018, 5pm
(61273 4470 night office) (home: 625 52 29 52)
Zemanek
(my talk: Friday, Feb 1, 9 to 10am)
02-07 Thurs, Senate
02-15 Friday and 16 Saturday, MCC
02-20 Wed., III Board, L.A.
02-21 Thurs, Senate
03-07 Thurs, Senate
03-21 Thurs. Centre Mondial, exposition of projects
03-23 Saturday, Centre Mondial, Conseil Scientifique
03-26 to 29 March, Loch Lomond
04-04 Thurs, Senate
04-18 Thurs, Senate
05-02 Thurs, Senate
05-15 Wed., III Board, L.A.
05-16 Thurs, Senate
05-26 Sun. to 31 Fri., AAAS, L.A. (Manfred Kochen 313 764-2585)
accepted by phone Dec. 3, morning and afternoon
05-30 Thurs, Senate
06-13 Thurs, Senate
06-18 to 21, Japan Expo, c/o Galler, home (313)668 8152.
07-08 to 20 ASL and CSLI summer school. I have accepted Barwise
invitation to give 45 minute presentation in the symposium on
logic and AI.
08-21 Wed., III Board, Boston
09-20 Centre Mondial, Conseil Scientifique
08-12 Monday 1986, thru 15, Computer algebra as a tool of research in
mathematics, physics and engineering.
LISP: How to make your own symbolic computation system. tutorial
Computational algebraic geometry
Richard Fateman
11-20 Wed., III Board, L.A.